Hybrid Controllers for Automated Vehicles

نویسندگان

  • John Lygeros
  • Datta N. Godbole
چکیده

The objective of an Automated Highway System (AHS) is to increase the safety and through-put of the existing highway infrastructure by introducing traac automation. AHS is an example of a large scale, multi-agent, complex dynamical system and is ideally suited for a hierarchical hybrid controller. We discuss the design of safe and eecient hybrid controllers for regulation of vehicles on an AHS. We use game theoretic techniques to deal with the multi-agent and multi-objective nature of the problem. The result is a hybrid controller that by design guarantees safety, without the need for further veriication. The calculations also provide an upper bound on the performance that can be expected in terms of throughput at various levels of centralization.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Verified Hybrid Controllers for Automated Vehicles - Automatic Control, IEEE Transactions on

The objective of an Automated Highway System (AHS) is to increase the safety and throughput of the existing highway infrastructure by introducing traffic automation. AHS is an example of a large scale, multiagent complex dynamical system and is ideally suited for a hierarchical hybrid controller. We discuss the design of safe and efficient hybrid controllers for regulation of vehicles on an AHS...

متن کامل

Hybrid Controller for Automated Vehicles 1

Considerable experimental and theoretical research has been carried out in an attempt to design an automated highway system that can provide more eecient utilization of the highways and at the same time be safer and more comfortable than the current highway system. Here we present a uniied framework for carrying out safety calculations for the automated highway problem. We obtain suucient condi...

متن کامل

A Verified Hybrid Controller for Automated Vehicles’

Considerable experimental and theoretical research has been carried out in an attempt to design an automated highway system that can provide more efficient utilization of the highways and at the same time be safer and more comfortable than the current highway system. Here we present a unified framework for carrying out safety callculations for the automated highway problem. We obtain sufficient...

متن کامل

Safety Verification for Automated Vehicle Maneuvers

In this thesis we formally model a system consisting of two vehicles moving along a single track, plus controllers that operate the vehicles, plus communication channels. The modeling formalism used is the Hybrid Automata model developed by Lynch, Segala, Vaandrager and Weinberg. We formulate a key safety requirement of such a system, namely, that the two vehicles never collide at a relative ve...

متن کامل

Scheduling Single-Load and Multi-Load AGVs in Container Terminals

In this paper, three solutions for scheduling problem of the Single-Load and Multi-Load Automated Guided Vehicles (AGVs) in Container Terminals are proposed. The problem is formulated as Constraint Satisfaction and Optimization. When capacity of the vehicles is one container, the problem is a minimum cost flow model. This model is solved by the highest performance Algorithm, i.e. Network Simple...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1996